Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Tesis |
Contribuciones a la verificación funcional moderna | Goñi, Oscar |
(2015) |
---------- | |
Artículo |
Design aspects for describing frameworks : | Balaguer, Federico |
(2001) |
---------- | |
Artículo |
Model checking the behavior of frameworks extended with other frameworks : | Balaguer, Federico |
(2005) |
---------- |